Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
591	Cyber Police State.....are you comforted that the CIA and Google are getting together? (more reasons to drop facebook, MyspaceInvasive Cyber Technologies and Internet Privacy: Big Brother is only a "Ping" or Mous Add to Reading List Source URL: www.1215.org Language: English - Date: 2013-03-14 18:04:28 Mass surveillance Business intelligence Formal sciences Minority Report Surveillance Recorded Future In-Q-Tel Data mining Google National security Computing Security
592	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.csie.ntu.edu.tw Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
593	J Supercomput DOIs11227Research challenges and perspectives on Wisdom Web of Things (W2T) Ning Zhong · Jian Hua Ma · Run He Huang · Add to Reading List Source URL: cis.k.hosei.ac.jp Language: English - Date: 2015-04-06 04:59:55 Web services Ambient intelligence Internet of Things Networks Formal sciences Semantic Web Web intelligence Data mining Ubiquitous computing Computing Cloud computing Concurrent computing
594	FastFacts Riding the Big Data Wave: Service Providers Can Accelerate Big Data Evolution To Unlock New Value Service Provider FastFacts View Cisco IBSG Service Provider FastFacts Website Add to Reading List Source URL: www.unleashingit.com Language: English - Date: 2014-06-03 12:59:36 Data management Computing Cisco Systems Deep packet inspection Videotelephony Data warehouse Big data Analytics Technology Business intelligence Formal sciences
595	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.mirror.ac.za Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
596	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
597	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.rstudio.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
598	Call for Papers Journal of Internet Technology (http://jit.niu.edu.tw/, Indexed by SCI-E) Special Issue on “Industrial Applications of Big Data and Internet of things” Theme and Scope Add to Reading List Source URL: www.cybermatics.org Language: English - Date: 2015-03-10 05:25:20 Formal sciences Database management systems Database theory Parallel computing Internet of Things Apache Hadoop MapReduce Data mining Cloud computing Computing Concurrent computing Data management
599	Leading Research and Analytics on Violent Extremism and Transnational Crime The Institute for the Study of Violent Groups (ISVG) is a research center that provides custom data collection and information services to enhan Add to Reading List Source URL: www.isvg.org Language: English - Date: 2012-06-19 13:58:00 Counter-terrorism Institute for the Study of Violent Groups Computer graphics Infographics Scientific modeling Knowledge Visualization Analytics Database Science Data management Formal sciences
600	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.ism.ac.jp Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE